基线是一组经过正式验证或确认，并作为后续工作开展依据的一个或一组工作产品，软件项目至少应形成功能基线、分配基线和产品基线三类基线。功能基线形成的时机是( )。